Search Results for '2015 dagstuhl'

2015 dagstuhl published presentations and documents on DocSlides.

Loop-Invariant Synthesis using Techniques from Constraint P
Loop-Invariant Synthesis using Techniques from Constraint P
by pasty-toler
Antoine . Miné. Jason . Breck. Thomas . Reps. Da...